functor

functor
вчт.
функтор, оператор над типами (в теории категорий)
- algebraic functor
- amnestic functor
- balanced functor
- bijective functor
- binary functor
- canonic functor
- closed functor
- complete functor
- composition functor
- conjunction functor
- derived functor
- disjunction functor
- embedding functor
- extensional functor
- family functor
- free functor
- functor of points
- hereditary functor
- homology functor
- homotopy functor
- immersion functor
- inclusion functor
- injective functor
- intensional functor
- logical functor
- negation functor
- one-place functor
- open functor
- product functor
- projective functor
- Radon functor
- resolvent functor
- singular functor
- statement functor
- sum functor
- surjective functor
- two-place functor
- unary functor
- zero-argument functor

The New English-Russian Dictionary of Radio-electronics. . 2005.

Игры ⚽ Нужно решить контрольную?

Полезное


Смотреть что такое "functor" в других словарях:

  • functor — FÚNCTOR, functori, s.m. (log.) Operator logic. – din fr. functeur. Trimis de baron, 15.12.2002. Sursa: DEX 98  FUNCTÓR s. v. operator logic. Trimis de siveco, 05.08.2004. Sursa: Sinonime  fúnctor s. m. (sil. func ) …   Dicționar Român

  • Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… …   Wikipedia

  • Functor category — In category theory, a branch of mathematics, the functors between two given categories can themselves be turned into a category; the morphisms in this functor category are natural transformations between functors. Functor categories are of… …   Wikipedia

  • functor — noun Date: 1935 something that performs a function or an operation …   New Collegiate Dictionary

  • functor — /fungk teuhr/, n. 1. that which functions. 2. Ling. a function word or affix. Cf. contentive. [1935 40; FUNCT(ION) + OR2] * * * …   Universalium

  • functor — noun a) a function word b) a function object …   Wiktionary

  • functor — [ fʌŋktə] noun Logic & Mathematics a function; an operator …   English new terms dictionary

  • functor — func·tor …   English syllables

  • functor — func•tor [[t]ˈfʌŋk tər[/t]] n. that which functions; operator • Etymology: 1935–40 …   From formal English to slang

  • functor — /ˈfʌŋktə/ (say fungktuh) noun a factor among others which brings about a certain condition; a parameter. {funct(ion) + or2} …  

  • functor — …   Useful english dictionary


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»